- variable Aussage
- переменное высказывание
Немецко-русский математический словарь. 2013.
variable Aussage
Смотреть что такое "variable Aussage" в других словарях:
Variable (Logik) — Variable bezeichnet in der formalen Logik ein „sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können“.[1] Im Gegensatz zu logischen Konstanten haben Variablen „keine selbständige Bedeutung“[2] und sind… … Deutsch Wikipedia
Aussage (Logik) — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… … Deutsch Wikipedia
Aussage — Semantik; Sinngehalt; Sinn; Bedeutung; Äußerung; Stellungnahme; Behauptung; Statement; Proposition * * * Aus|sa|ge [ au̮sza:gə], die; , n: 1. Angabe, Mitteilung, die man auf ein … Universal-Lexikon
Logische Aussage — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… … Deutsch Wikipedia
Freie Variable und gebundene Variable — In der Mathematik und Logik bezeichnet man eine Variable als in einer Formel frei vorkommend, wenn sie in dieser Formel an mindestens einer Stelle nicht im Bereich eines Operator (Mathematik)s auftritt. Sind hingegen alle Vorkommen der Variable… … Deutsch Wikipedia
Freie Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… … Deutsch Wikipedia
Gebundene Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… … Deutsch Wikipedia
Erfüllbare Aussage — Erfüllbarkeit ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von Aussagen und Aussageformen, wahr sein zu können. Anders ausgedrückt ist ein Ausdruck genau dann erfüllbar, wenn es eine Belegung (Interpretation,… … Deutsch Wikipedia
Logikkalkül — Lo|gik|kal|kül der; s, e <zu ↑Logik> formalisiertes Zeichen, das als logische Konstante, Variable, Aussage usw. gedeutet wird (Informatik) … Das große Fremdwörterbuch
Abgleichkondensator — Variable Kondensatoren, oben Drehkondensatoren für häufige Betätigungen, unten Trimmerkondensatoren für seltene Abgleichzwecke Variable oder einstellbare Kondensatoren sind elektrische Kondensatoren, deren Kapazität in definierten Grenzen… … Deutsch Wikipedia
Drahttrimmer — Variable Kondensatoren, oben Drehkondensatoren für häufige Betätigungen, unten Trimmerkondensatoren für seltene Abgleichzwecke Variable oder einstellbare Kondensatoren sind elektrische Kondensatoren, deren Kapazität in definierten Grenzen… … Deutsch Wikipedia
